function get_server_url()
{
    var pcol;
    var u = document.URL;
    if (u.substring(0, 5) == "https") {
            pcol = "wss://";
            u = u.substr(8);
    } else {
            pcol = "ws://";
            if (u.substring(0, 4) == "http")
                    u = u.substr(7);
    }
    u = u.split('/');
    _u = u[0].split(':');

    json_str='';
    /* jQuery.ajax方法获取网页文件中的文本数据
     * 注意jQuery.get方法默认是异步的, 不会有返回值
     */
    $.ajax({
        url: 'web-args/wscfg', //请求页面
        async: false,   //同步方式发送请求,true为异步发送
        type: "GET",    //请求方法
        data: {},       //无参数提交到web server
        success: function (result) {
            json_str=result;
        }
    });

    /* JSON字符串转换为JSON对象 */
    var json_obj=JSON.parse(json_str);

    //alert(pcol + _u[0] + ':' + json_obj.port);
    return pcol + _u[0] + ':' + json_obj.port;
}